00100	<PREDIC>::= ANCESTRY =>ANCESTRY
00110		::= NONE => NONE
00120		::= VINE => VINE
00140		::= UNIT => UNIT
00200		::= P1 => ALLPOS
00300		::= P2=>ALLNEG
00400		::=SUPPORT[<C>] =>(SUPPORT . C)
00450	::= DEPTH[<NUMBER>] =>(GREATERP(DEPTH(CDR C)) NUMBER)
00462	::= SELDEPTH[<FNLSTP>]	=>(DEP . FNLSTP)
00475	::= LENGTH[<NUMBER>] =>(GREATERP(LENGTH(CDR C))NUMBER)
00500		::=MODEL[<PREDLST>;<PREDLST1>] =>(MODEL PREDLST PREDLST1)
00550		::=EQUALITY[<OP>,<NUMBER>] =>(EQUALITY OP  NUMBER)
00562	
00575		::=DEMOD[<CLAUSES><NUMBER>] =>(DEMOD CLAUSES NUMBER)
00600		::=DEFMODEL[ID] => (DEFMODEL . ID)
00700		::=@<LISPR> => LISPR
00800		::= <TERM0><OPR><TERM> =>(OPR TERM0 TERM)
00900	
01000	<PREDLST1> ::= <PREDLST> =>*
01100	
01200	<PREDLST> ::= <ID>,<PREDLST> => (ID . PREDLST)
01300		::= <ID> => ID
01400		::= 	=> NIL
01500	<FNLSTP>::=<FP>;<FNLSTP>	=>(FP . FNLSTP)
01510		::=<FP>			=>(FP)
01520	
01530	<FP>	::= <OP>,<NUMBER>	=>(OP . NUMBER)
01540	
01600	END